Digital Library[ Search Result ]
Search : "[ author: Jin-young Choi ]" (2)
Process Algebra Based Formal Method for SDN Application Verification
Myung-Ki Shin Jong-Hwa Yi Yunchul Choi Jihyun Lee Seung-Ik Lee
Miyoung Kang Hee Hwan Kwak Jin-Young Choi
Vol. 39, No. 6, pp. 387-396, Jun. 2014
Miyoung Kang Hee Hwan Kwak Jin-Young Choi
Vol. 39, No. 6, pp. 387-396, Jun. 2014